open structures


-- Generated from the high-level connector specification
one sig CSR_Client extends CSR {}
one sig CSR_Server extends CSR {}

one sig S_InventoryItf extends S_JavaInterface {}

-- Generated from the type-system (local signatures)
abstract sig S_JavaInterface extends S {}

one sig S_RMISocketFactoryItf extends S_JavaInterface {}

-- Generated from the type-system (remote signatures)
sig S_RMIServer extends S {
	javaSig: one S_JavaInterface
}

-- Generated from the platform specification
one sig ND_A extends ND {}	


-- Port names: generated collectively from the element types and connector units
one sig EAPR_Line extends EAPR {}
one sig EAPLP_CallIn extends EAPLP {}
one sig EAPLR_CallOut extends EAPLR {}

one sig EAPLR_SocketFactory extends EAPLR {}
one sig EAPLP_Factory extends EAPLR {}


-- Sub-element names: generated collectively from the partial element architectures
one sig EASE_Interceptor extends EASE {}
one sig EASE_ClientProxy extends EASE {}
one sig EASE_ServerProxy extends EASE {}

one sig EASE_SocketFactory extends EASE {}


-- Attributes: generated collectively from the partial element architectures
one sig AT_FileName extends AT {}


-- Features
one sig FT_Logging extends FT {}

abstract sig FV_FeaturePresent extends FV {}


one sig FV_Logging_ToConsole extends FV_FeaturePresent {}

abstract sig FV_Logging_ToFile extends FV_FeaturePresent {
	fileName: one AV
}

one sig AV_Inventory_Log extends AV {} // file name "inventory.log"
one sig FV_Logging_ToFile_Foo extends FV_Logging_ToFile {} {
	fileName = AV_Inventory_Log
}



one sig FV_Security_High extends FV_FeaturePresent {}
one sig FT_Security extends FT {}



